1
Quang phổ điều khiển luồng: Từ tuần tự đến bất thường
AI031Lesson 8
00:00

Luồng điều khiển chuẩn là một hành trình có thể dự đoán được: con trỏ chương trình di chuyển từ địa chỉ $a_k$ sang $a_{k+1}$ dựa trên logic tuần tự hoặc nhảy trực tiếp. Tuy nhiên, Luồng điều khiển bất thường (ECF) đại diện cho những chuyển đổi "đột ngột" xảy ra ngoài luồng thông thường này.

1. Mô hình toán học

Thực thi bộ xử lý là một dãy $a_0, a_1, \dots, a_{n-1}$, trong đó mỗi $a_k$ tương ứng với một lệnh $I_k$. ECF phá vỡ chuỗi này khi một thay đổi trạng thái bộ xử lý—một sự kiện—gây ra một nhảy đến một trình xử lý chuyên biệt không nằm trong đường đi mã nguồn ngay lập tức của ứng dụng.

2. Mức độ triển khai

ECF nối liền khoảng cách giữa phần cứng và phần mềm. Nó bao gồm từ mức phần cứng lỗi ngoại lệ (lỗi, ngắt) đến mức hệ điều hành chuyển ngữ cảnhtín hiệu.

Hình 8.1: Cấu tạo của một ngoại lệLuồng bình thường (Bị bỏ qua)Luồng tuần tự (Iₖ)Sự kiện!Trình xử lý ngoại lệTrở về tùy chọn (Iₖ₊₁)

3. Thực tế "bất ngờ"

Dù là người dùng nhấn Ctrl+C hay một lời gọi hệ thống yêu cầu truy cập đĩa, ECF buộc CPU phải nhảy sang một "thế giới" khác—hạt nhân hệ điều hành—đảm bảo hệ thống luôn phản hồi trước những thay đổi trạng thái động.

main.py
TERMINALbash — 80x24
> Ready. Click "Run" to execute.
>